منابع مشابه
Structural Contradictions
We study the relation between logical contradictions such as p ∧ ¬p and structural contradictions such as p∩ (p · q). Intuitively, we expect the two to be treated similarly, but they are not by PSL, nor by SVA. We provide a solution that treats both kinds of contradictions in a consistent manner. The solution reveals that not all structural contradictions are created equal: we must distinguish ...
متن کاملCorrecting Contradictions
This paper describes a manual investigation of the contradiction asymmetries of the SICK corpus, which is the intended testing set for a new system for natural language inference. Any system providing conceptual semantics for sentences, so that entailment-contradiction-neutrality relations between sentences can be identified, needs a baseline test set. The investigation of this test set, a part...
متن کاملSU(N) Self-Dual Sine-Gordon Model and Competing Orders
Abstract. We investigate the low-energy properties of a generalized quantum sine-Gordon model in one dimension with a self-dual symmetry. This model describes a class of quantum phase transitions that stems from the competition of different orders. This SU(N ) self-dual sine-Gordon model is shown to be equivalent to an SO(N )2 conformal field theory perturbed by a current-current interaction, w...
متن کاملSignum-Gordon wave equation and its self-similar solutions
We investigate self-similar solutions of evolution equation of a (1+1)dimensional field model with the V-shaped potential U(φ) = |φ|, where φ is a real scalar field. The equation contains a nonlinear term of the form sign(φ), and it possesses a scaling symmetry. It turns out that there are several families of the self-similar solutions with qualitatively different behaviour. We also discuss a r...
متن کاملContradictions, objects, and belief
We show how some model-theoretical devices (local reasoning, modes of presentation, an additional accessibility relation) can be combined in first-order modal logic to formalize the consequence relation that includes de dicto and de re contradictory beliefs. Instead of special " sense objects " , appearances of objects in an agent's belief are introduced and presented as ordered pairs consistin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Brasileira de Estudos da Presença
سال: 2014
ISSN: 2237-2660
DOI: 10.1590/2237-266045468